Scheduling-Oriented Models for Real-Time Systems
نویسندگان
چکیده
منابع مشابه
Scheduling-Oriented Models for Real-Time Systems
In this paper, we deene a formal model for reasoning about resource allocation and scheduling in real-time systems. We extend the model in SZJ94], which models the functionality of agents in the language TAM. Our extended model allows us to argue about the resource requirements of real-time distributed systems, and so identify connicts upon resources. We can use the model to deene and reason ab...
متن کاملReal-Time Scheduling for Workload-oriented Programming
Workload-oriented programming is a design methodology for specifying throughput and latency of real-time software processes on the level of individual process actions. The key programming abstraction is that the workload involved in executing a process action such as a system or procedure call fully determines the action’s response time, independently of any previous or concurrent actions. The ...
متن کاملTiming and Scheduling Analysis of Real-time Object-oriented Models
Timing and Scheduling Analysis of Real-Time Object-Oriented Models
متن کاملReal-time calculus for scheduling hard real-time systems
This paper establishes a link between three areas, namely Max-Plus Linear System Theory as used for dealing with certain classes of discrete event systems, Network Calculus for establishing time bounds in communication networks, and real-time scheduling. In particular, it is shown that important results from scheduling theory can be easily derived and unified using Max-Plus Algebra. Based on th...
متن کاملScheduling for Overload in Real-Time Systems
Scheduling of real-time systems in overloaded conditions is a challenging problem. No on-line scheduling algorithm operating in an uniprocessor environment can guarantee to obtain a useful processor utilization greater than 0.25 under conditions of overload. The issue of improving overload performance in environments where there is a soft deadline has been addressed in this paper. The need of i...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Computer Journal
سال: 1995
ISSN: 0010-4620,1460-2067
DOI: 10.1093/comjnl/38.6.443